package com.m1.tzolkin.model.wheels;

import java.io.Serializable;

/**
 * Une position dans une roue.
 * 
 * @inv <pre>
 *     getWheel() != null
 *     getPosition() >= 0
 *     equals(w) == w.getWheel().equals(getWheel()) && w.getPosition() == getPosition() </pre>
 *
 */
public interface IWheelPosition extends Serializable {

	// REQUETES
	
	/**
	 * Retourne la roue concern�e.
	 */
	WheelEnum getWheel();
	
	/**
	 * Retourne la position dans la roue.
	 */
	int getPosition();
	
	/**
	 * Retourne true si la roue de p et sa position sont �gaux
	 *  � celles de cette position.
	 */
	boolean equals(IWheelPosition p);
	
	/**
	 * Retourne une chaine d�crivant cette position.
	 */
	String toString();
	
}
